00100	(SETQ SETQMESS @("
00200	No proof has been found.  You have two options:
00300	1)Type AB <clauses>; to abandon the current proof attempt, retaining
00400	  <clauses> for the clause list.
00500	2)Type TE <clauses>; to terminate this attempt, but then automatically
00600	 begin a new search with <clauses> added to the set of initial statements.
00700	
00800	You are now talking to the on-line editor... for help type HE; 
00900	"))